1021. Flowcharting and Basic
پدیدآورنده : / Perry Edwards
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Electronic digital computers- Programming.,Flow Charts.,Basic (Comuter program language).
رده :
QA76
.
6
.
E38
1974
1022. Flowcharting : programming, software designing, and computer problem solving
پدیدآورنده : Bycer, Bernard B
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Flow charts,، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
B9
1023. Flowcharting : programming, software designing, and computer problem solving
پدیدآورنده : Bycer, Bernard B.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Flow charts,، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
B9
1024. Flowcharting: programming, software designing, and computer problem solving
پدیدآورنده : / Bernard B. Bycer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Flowcharts,Electronic digital computers - Programming
رده :
001
.
6423
B993f
1025. Flowcharting techniques
پدیدآورنده : Bohl, Marilyn
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Flow chart
رده :
QA
76
.
5
.
B576
1026. Flowcharting techniques
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Flowcharts
رده :
001
.
6423
B676
1027. Flowgraphs for the modeling and analysis of linear systems
پدیدآورنده : Lorens, Charles Stanton
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Flowgraphs,، Electronic digital computers-- Programming
رده :
TA
161
.
L65
1028. Formal Development of Programs and Proofs
پدیدآورنده : Edited By Edsger W. Dijkstra
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic Dijital Computers- Programming- Congresses
رده :
QA
،
76
.
6
،.
F657
،
1990
1029. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
1030. Formal Syntax and Semantics of Programming Languages
پدیدآورنده : \ Kenneth Slonneger, Barry L. Kurtz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers) -- Syntax.,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامه‌نویسی کامپیوتر-- نحو ,زبانهای برنامه‌نویسی کامپیوتر-- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی
رده :
E-Book
,
1031. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
1032. Formal description technique
پدیدآورنده : / edited by K.R. Parker, G.A. Rose
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
1033. Formal description techniques, II
پدیدآورنده : / Edited by Son T. Vuong
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
1034. Formal description techniques III
پدیدآورنده : / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
1035. Formal development of programs and proofs
پدیدآورنده : edited by Edsger W. Dijkstra
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Electronic digital computers- Programming- Congresses
رده :
QA
76
.
6
.
F657
1990
1036. Formal language description languages for computer programming; proceedings
پدیدآورنده : Edited by T.B. Steel, Jr
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
I17
1964
1037. Formal language description languages for computer programming; proceedings
پدیدآورنده : IFIP Working Conference on Formal Language Description Languages, )4691, Vienna, Austria(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I17
1964
1038. Formal methods for concurrency
پدیدآورنده : Fencott, Clive
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
رده :
QA
76
.
54
.
F46
1996
1039. Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
F577
1993
1040. Formal program development : IFIP TC2/WG 2.1 state-of-the-art report
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer software-- Development,، Electronic digital computers-- Programming
رده :
QA
76
.
76
.
D47
.
F68
1993
